461. Selected writings on computing : a personal perspective
پدیدآورنده: Dijkstra, Edsger Wybe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Electronic data processing,Addresses, essays, lectures ، Computers,Addresses, essays, lectures ، Computer programming
رده :
QA
76
.
24
.
D54
1982
462. Semantics of data types :
پدیدآورنده: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
463. Simple digital computing examples
پدیدآورنده: Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
464. Simula begin
پدیدآورنده: Birtwistle, G M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Programming languages )Electronic computers(,، Electronic data processing
رده :
QA
76
.
6
.
B49
465. Software design for electronic switching sysyems
پدیدآورنده: TAKAMURA,S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: TELECOMMUNICATION-DATA PROCESSING , PROGRAMMING )ELECTRONIC COMPUTERS( , TELECOMMUNICATION-SWITCHING
رده :
TK
5102
.
5
.
T136
466. Software engineering; proceedings of a symposium
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-programming-- Congresses
رده :
QA
76
.
6
.
S96
467. Software engineering techniques
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing--Addresses, essays, lectures,، Electronic digital computers--Programming--Addresses, essays, lectures,، Programming language )Electronic computers(
رده :
T
57
.
5
.
S64
468. Software for computer control 1982: Proceedings of the Third IFAC/IFIP Symposium, Madrid Spain, 5-8 October 1982
پدیدآورنده: edited by G. Ferrate and E.A. Puente
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing - Congresses ، Automatic control,Programming -- Congresses ، Electronic digital computers
رده :
TJ
212
.
2
.
I33
1983
469. Software interfacing : a user and supplier guide
پدیدآورنده: DeRossi, Claude J
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Business,Programming ، Electronic digital computers
رده :
HF
5548
.
2
.
D46
1984
470. Some commercial autocodes; a comparative study
پدیدآورنده: Willey, Ewart Lewis
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Business ، Programming languages )Electronic computers(
رده :
HF
5548
.
W5
471. S’organiser avant de s’informatiser
پدیدآورنده: / Par Bernard Espanz
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Business enterprises,Business - Data processing,Programming electronic computers (Electronic computers--Business)
رده :
HF
5548
.
2
.
E7
472. Statistical computations on a digital computer
پدیدآورنده:
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic data processing - Statistics,Numerical analysis,Electronic digital computers - programming
رده :
QA
276
.
H42
473. Structural information and communication complexity :
پدیدآورنده: Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
474. Structured programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Electronic data processing,، Programming )Electronic computers(
رده :
QA
76
.
6
.
S72
475. Structured programming
پدیدآورنده: / O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming
رده :
001
.
642
D131s
476. Structured programming concepts
پدیدآورنده: LaBudde, Keith P.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Structured programming,Data processing ، Business
رده :
QA
76
.
6
.
L3235
1987
477. Structured programming concepts
پدیدآورنده: LaBudde, Keith P.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming,، Structured programming,، Business- Data processing
رده :
QA
76
.
6
.
L3235
1987
478. Structured programming concepts
پدیدآورنده: LaBudde, Keith P.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic digital computers -- Programming,، Structured programming,، Business -- Data processing
رده :
QA
76
.
6
.
L3235
479. Structured programming concepts
پدیدآورنده: LABUDDE,KEITH P
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , STRUCTURED PROGRAMMING , BUSINESS-DATA PROCESSING
رده :
QA
76
.
6
.
L3235
480. Structured software development; Infotech state of the art report
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Electronic data processing,، Programming )Electronic computers(
رده :
QA
76
.
5
.
S85
